41. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
42. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
43. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
44. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
45. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
46. Iteration theories : the equational logic of iterative processes
پدیدآورنده : Bloom, Stephen L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
I56
1993
47. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
48. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
49. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
50. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
51. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
52. Logic and automata
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
53. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
54. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
55. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
56. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
57. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
58. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
59. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
60. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992